Constraint Answer Set Solving Martin Gebser, Max Ostrowski, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. We present a new approach to integrating C

Source URL: www.cs.uni-potsdam.de

• Theoretical computer science
• Constraint programming
• Declarative programming
• Logic programming
• Mathematics
• Model theory
• Logic in computer science
• NP-complete problems
• Constraint satisfaction problem
• Answer set programming
• Constraint satisfaction
• Satisfiability modulo theories

1 Potassco: The Potsdam Answer Set Solving Collection Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, and Marius Schneider

Source URL: www.cs.uni-potsdam.de

• Logic programming
• NP-complete problems
• Operations research
• Constraint programming
• Answer set programming
• Logic in computer science
• Boolean satisfiability problem
• Algorithm
• Solver
• Stable model semantics
• AMPL
• Constraint satisfaction problem

Synthesizing Concurrent Programs using Answer Set Programming Emanuele De Angelis1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 Dipartimento di Scienze, University ‘G. D’Annunzio’, Pescara, Italy

Source URL: csp2011.mimuw.edu.pl

Coala: A Compiler from Action Languages to ASP Martin Gebser, Torsten Grote, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. Action languages allow fo

Source URL: www.cs.uni-potsdam.de

• Logic programming
• Answer set programming
• ASCII
• Coala
• Linear temporal logic
• Stable model semantics

Answer Set Programming’s Contributions to Classical Logic An analysis of ASP methodology Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, and Maurice Bruynooghe Department of Computer Science, K.U. Leuve

Source URL: people.cs.kuleuven.be

Synthesizing Concurrent Programs using Answer Set Programming E. De Angelis1 , A. Pettorossi2 , M. Proietti3 1 University of Chieti-Pescara ‘G. D’Annunzio’

Source URL: www.sci.unich.it

Answer Set Programming in a Nutshell - Invited Talk - Thomas Eiter Institut f¨ur Informationsssysteme, Technische Universit¨at Wien

Source URL: www.complang.tuwien.ac.at

Synthesizing Concurrent Programs using Answer Set Programming Emanuele De Angelis1,3 www.sci.unich.it/:deangelis

Source URL: www.sci.unich.it

Answer Set Programming Answer Set Programs Answer Set Semantics Implementation Techniques Using Answer Set Programming

Source URL: www.cs.bath.ac.uk